/* @LICENSE(NICTA_CORE) */

#ifndef __LIBSEL4_ARCH_INVOCATION_H
#define __LIBSEL4_ARCH_INVOCATION_H

enum arch_invocation_label {
    ARMPageTableMap = nInvocationLabels,
    ARMPageTableUnmap = nInvocationLabels + 1,
    ARMPageMap = nInvocationLabels + 2,
    ARMPageRemap = nInvocationLabels + 3,
    ARMPageUnmap = nInvocationLabels + 4,
    ARMPageFlushCaches = nInvocationLabels + 5,
    ARMASIDControlMakePool = nInvocationLabels + 6,
    ARMASIDPoolAssign = nInvocationLabels + 7
};

#endif 
